signature PRFGEN_STRUCTS =
sig
  structure Frame :FRAME
end

signature PRFGEN =
sig
  include PRFGEN_STRUCTS

  val outChs : (Frame.frame list) * (Frame.Assem.instr list) -> string -> unit
  val top : (Frame.frame list) * (Frame.Assem.instr list) -> unit
end
